what is Veen diagram in set theory